epsilon nfa conversion